GKS Inquiry Functions within PROLOG

نویسندگان

  • P. Sykes
  • R. Krishnamurti
چکیده

GKS, the international standard for 20 graphics software, provides a set of functionalities which are specified in a language independent manner. However, for GKS to be used, a binding must be defined for some host programming language. To date a FORTRAN binding [1] has been accepted, and proposals for bindings in Pascal [8] and Ada are under consideration in ISO. Possible bindings for C [7] and ALGOL 68 [5] have also been proposed. A language binding for the PROLOG programming language is currently under development [9], and a draft version is being implemented within an enhanced version of the C-PROLOG interpreter [6] running on UNIX. GKS is designed to be implemented in the natural programming language of the host system and to have a language dependent layer as an interface to each of the other programming languages on the system. Our PROLOG implementation, therefore, forms an interface to a library of GKS functions written in the C programming language. Different PROLOG implementations may have different syntactical rules for differentiating between variables and atoms. The convention adopted in this binding document is that adopted by the C-PROLOG interpreter. Variables start with an upper case letter or an underscore, atoms start with a lower case letter or may be any string enclosed within single quotes. The draft ANSI standard GKS document [1,3] specifies guidelines for language bindings. These essentially constrain a binding, in effect, to provide a one-to-one mapping of GKS abstract functions to atomic language functions, and to specify data types corresponding to the GKS abstract data types. The rules also require the binding to observe good software engineering principles, a requirement which we

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Prototype Constraint Deductive Database System based on HH¬(C)

This paper presents, from a user point of view, a deductive database system based on Hereditary Harrop Formulas with Constraints and Negation, HH¬(C). The Prolog implementation of this system is based on a fixpoint semantics proposed in a previous work. The answer to a query posed to a database is intended as a constraint of the constraint system associated to C. We have developed several solve...

متن کامل

Computational Complexity of Sparse Real Algebraic Function Interpolation

We estimate the complexity of a general problem for interpolating real algebraic functions given by a black box for their evaluations, extending the results of [GKS 90b, GKS 91b] on interpolation of sparse rational functions.

متن کامل

Early brain tumor metastasis reduction following Gamma Knife surgery.

OBJECT Unlike whole-brain radiation therapy, Gamma Knife surgery (GKS) is delivered in a single session for the treatment of brain metastases. The extent to which GKS can facilitate early tumor control was the focus of this study. METHODS The authors reviewed 134 metastatic lesions in 82 patients treated with GKS at the University of Virginia who underwent follow-up MR imaging within 30 days ...

متن کامل

Assigning Function to CDS Through Qualified Query Answering: Beyond Alignment and Motifs

In this paper, we show how to use qualitative query answering to annotate CDS-to-function relationships with confidence in the score, confidence in the tool, and confidence in the decision about the function. The system, implemented in Prolog, provides users with a powerful tool to analyze large quantities of data that have been produce by multiple sequence analysis programs. Using qualified qu...

متن کامل

Assigning Function to CDS Through Quali ed Query Answering: Beyond Alignment and Motifs

In this paper, we show how to use qualitative query answering to annotate CDS-to-function relationships with conndence in the score, conn-dence in the tool, and conndence in the decision about the function. The system, implemented in Prolog, provides users with a powerful tool to analyze large quantities of data that have been produced by multiple sequence analysis programs. Using qualiied quer...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011